Gustavo Lagos : constructor de puentes
نویسندگان
چکیده
منابع مشابه
471 - 481 Gustavo Benaim.pmd
Ca2+ has been largely recognized as an essential messenger in all eukaryotes, from mammals to parasites. The disruption of Ca2+ homeostasis in any cell usually drives to lethal effects resulting in cell death by apoptosis or necrosis. This appears also to be the case in human trypanosomatids, such as Trypanosoma cruzi, the causative agent of Chagas’ disease, Trypanosoma brucei, which produces “...
متن کاملConstructor Subtyping
Constructor subtyping is a form of subtyping in which an induc tive type is viewed as a subtype of another inductive type if has more constructors than As suggested in its potential uses include proof assistants and functional programming languages In this paper we introduce and study the properties of a simply typed calculus with record types and datatypes and which supports record sub typing ...
متن کاملConstructor Specialization
In the section on “challenging problems” in the proceedings from the first international workshop on partial evaluation and mixed computation [BEJ88] a question is stated: “Can PE be used to generate new specialized data types, in a way analogous to generating specialized functions”. Since then little has been done to address this problem. In [Lau89], new types are indeed generated, but they ar...
متن کاملSpeaker 4: Gustavo Turecki, Canada
s | 11 Center for Therapeutic Innovation and Department of Psychiatry and Behavioral Sciences, University of Miami, Miami FL 33136, USA. cwahlestedt@med.miami.edu Abstract This lecture will primarily be concerned with long noncoding natural antisense RNAs which regulate gene expression through several distinct mechanisms including modulation of chromatin regulator protein complexes. Notably, in...
متن کاملConstructor theory of probability
Unitary quantum theory, having no Born Rule, is non-probabilistic. Hence the notorious problem of reconciling it with the unpredictability and appearance of stochasticity in quantum measurements. Generalizing and improving upon the so-called 'decision-theoretic approach', I shall recast that problem in the recently proposed constructor theory of information-where quantum theory is represented a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Estudios Internacionales
سال: 2011
ISSN: 0719-3769,0716-0240
DOI: 10.5354/0719-3769.2005.14529